Combining UML and B
نویسنده
چکیده
منابع مشابه
Measuring the Comprehensibility of a UML-B Model and a B Model
Software maintenance, which involves making enhancements, modifications and corrections to existing software systems, consumes more than half of developer time. Specification comprehensibility plays an important role in software maintenance as it permits the understanding of the system properties more easily and quickly. The use of formal notation such as B increases a specification’s precision...
متن کاملD'Event-B vers UML/OCL en passant par UML/EM-OCL
Pour surmonter les limites inhérentes aux deux approches classique et formelle de développement des logiciels complexes, nous avons proposé une approche hybride combinant l'approche formelle (Event-B) et l'approche classique (UML/OCL). Les phases en amont de notre approche comportent : Réécriture du cahier des charges, Stratégie de raffinement, Spécification abstraite et Raffinement horizontal....
متن کاملCombining UML and SDL
UML and SDL both have their own merits and form a strong alliance when combined in one methodology. In this paper we describe three scenarios for combining UML and SDL: Forward Engineering, Reverse Engineering and Round-Trip Engineering. The foundation that makes these scenarios possible is a profound translation between UML & SDL'96 concepts. We also explain how the translation is adapted to i...
متن کاملModeling the Dynamics of UML State Machines
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run to completion scheme, including the sequential execution of entry/exit actions (along the structure of state nesting) and the concurrent execution of internal activities; (b) to formalize the object interaction, by co...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002